Exercise logic.propositional.proof.top
Description
Prove two propositions equivalent (with top-level decomposition)
Code | logic.propositional.proof.top |
Status | Experimental |
Strategy | proofequivalent |
Rules | 58 |
Buggy rules | 39 |
OpenMath support | yes |
Restartable strategy | yes |
Exercise generator | no |
Examples | 31 |